Dutilleul, Simon Collart: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 555 KB

english, 2019

2

A Hybrid Method for Assigning Containers to AGVs in Container Terminal

Zaghdoud, Radhia, Mesghouni, Khaled, Dutilleul, Simon Collart, Zidi, Kamel, Ghedira, Khaled

Journal:

IFAC-PapersOnLine

Year:

2016

Language:

english

File:

PDF, 752 KB

english, 2016

3

Implementation of ERTMS: A Methodology Based on Formal Methods and Simulation with Respect to French National Rules

Ferlin, Antoine, Ben-Ayed, Rahma, Sun, Pengfei, Collart-Dutilleul, Simon, Bon, Philippe

Journal:

Transportation Research Procedia

Year:

2016

Language:

english

File:

PDF, 327 KB

english, 2016

4

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Interoperability, performance and resilience of railway transport systems

Collart-Dutilleul, Simon, Rotoli, Francesco

Year:

2015

Language:

english

File:

PDF, 242 KB

english, 2015

5

[ASME 2015 Joint Rail Conference - San Jose, California, USA (Monday 23 March 2015)] 2015 Joint Rail Conference - An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling

Boudi, Zakaryae, El Koursi, El Miloudi, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 1.16 MB

english, 2015

6

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 655 KB

english, 2019

7

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Threat Modeling in the Railway Domain

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.47 MB

english, 2019

8

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.49 MB

english, 2019

9

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.64 MB

english, 2019

10

Adding Technological Solutions for Safety Improvement at Level Crossings: A Functional Specification

Bahloul, Khaled, Defossez, François, Ghazel, Mohamed, Collart-Dutilleul, Simon

Journal:

Procedia - Social and Behavioral Sciences

Year:

2012

File:

PDF, 503 KB

2012

11

Integration of B Activity into a Global Design Process of Critical Software

Bon, Philippe, Collart-Dutilleul, Simon, Petit, Dorian

Journal:

Procedia - Social and Behavioral Sciences

Year:

2012

File:

PDF, 1001 KB

2012

12

Robust control strategies facing disturbances in manufacturing workshops with time constraints

Mhalla, Anis, Jerbi, Nabil, Collart Dutilleul, Simon, Craye, Etienne, Benrejeb, Mohamed

Journal:

Computers & Industrial Engineering

Year:

2013

Language:

english

File:

PDF, 900 KB

english, 2013

13

Active robustness of a milk manufacturing workshop with time constraints

Collart-Dutilleul, Simon, Mhalla, Anis, Craye, Etienne, Benrejeb, Mohamed

Journal:

International Journal of Production Research

Year:

2013

Language:

english

File:

PDF, 6.96 MB

english, 2013

14

[IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom (2012.09.3-2012.09.5)] Proceedings of 2012 UKACC International Conference on Control - Graph theory: Application to system recovery

Mekki, Ahmed, Collart-Dutilleul, Simon

Year:

2012

Language:

english

File:

PDF, 904 KB

english, 2012

15

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - A Multi-objective Approach for Assignment Containers to AIVs in a Container Terminal

Zaghdoud, Radhia, Collart-Dutilleul, Simon, Ghedira, Khaled, Mesghouni, Khaled, Zidi, Kamel

Year:

2013

Language:

english

File:

PDF, 411 KB

english, 2013

16

[IEEE 2011 3rd IEEE International Symposium on Logistics and Industrial Informatics (LINDI 2011) - Budapest, Hungary (2011.08.25-2011.08.27)] 3rd IEEE International Symposium on Logistics and Industrial Informatics - A set of design oriented scientific tools to assist abstract B machine specification

Collart-Dutilleul, Simon, Bon, Philippe, Petit, Dorian

Year:

2011

Language:

english

File:

PDF, 1.26 MB

english, 2011

17

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL, USA (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - HCPN Modeling for ERTMS Requirements Specification

Boudi, Zakaryae, Koursi, El Miloudi El, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 130 KB

english, 2015

18

Cyclic Scheduling of Flexible Job-shop with Time Window Constraints and Resource Capacity Constraints

Zhang, Hongchang, Collart-Dutilleul, Simon, Mesghouni, Khaled

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 818 KB

english, 2015

19

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Model transformation from coloured Petri nets with prioritized transitions to B machines

Sun, Pengfei, Bon, Philippe, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 332 KB

english, 2015

20

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Colored Petri Nets formal transformation to B machines for safety critical software development

Boudi, Zakaryae, El Koursi, El Miloudi, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 354 KB

english, 2015

21

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Parallel verification of temporal properties using dynamic analysis

Ferlin, Antoine, Bon, Philippe, Collart-Dutilleul, Simon, Wiels, Virginie

Year:

2015

Language:

english

File:

PDF, 263 KB

english, 2015

22

Condition based Maintenance applied to Reduce Unavailability of Machines in Flexible Job Shop Scheduling Problem

ZHENG, Yahong, MESGHOUNI, Khaled, DUTILLEUL, Simon COLLART

Journal:

IFAC Proceedings Volumes

Year:

2013

Language:

english

File:

PDF, 388 KB

english, 2013

23

From Place/Transition Petri nets to B abstract machines for safety critical systems

Boudi, Zakaryae, Miloudi, El, Koursi, El, Collart-Dutilleul, Simon

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 957 KB

english, 2015

24

Functioning mode Management and formal assessment of safety

Bon, Philippe, Collart-Dutilleul, Simon, Defossez, François

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 227 KB

english, 2010

25

Rejection of Temporal Disturbances in Milk Manufacturing Unit with Time Constraints

MHALLA, ANIS, DUTILLEUL, SIMON COLLART, JERBI, NABIL, CRAYE, ETIENNE

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 451 KB

english, 2010

26

Optimization Problem of Assignment Containers to AIVs in a Container Terminal

Zaghdoud, Radhia, Mesghouni, Khaled, Dutilleul, Simon Collart, Zidi, Kamel, Ghedira, Khaled

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 240 KB

english, 2012

27

Seaport Productivity Research basing on P-time Petri Net

ZHANG, Hongchang, COLLART-DUTILLEUL, Simon, MESGHOUNI, Khaled

Journal:

IFAC Proceedings Volumes

Year:

2013

Language:

english

File:

PDF, 1013 KB

english, 2013

28

P-Time PN and Control of Time Constrained Systems

Chetouane, Fatah, Dutilleul, Simon Collart

Journal:

IFAC Proceedings Volumes

Year:

2013

Language:

english

File:

PDF, 482 KB

english, 2013

29

Complex systems renewal: positioning, concepts and architectural issues

Zolghadri, Marc, Couffin, Florent, Leclaire, Patrice, Collart-Dutilleul, Simon

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 257 KB

english, 2014

30

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Integrated approach using formal models and simulation environment

Collart-Dutilleul, Simon, Ferlin, Antoine, Bon, Philippe

Year:

2015

Language:

english

File:

PDF, 84 KB

english, 2015

31

Robust Control under Uncertainty for Seaport Handling Equipments

Mhalla, Anis, Dutilleul, Simon Collart, Zhang, Hongchang

Journal:

Transportation Research Procedia

Year:

2016

Language:

english

File:

PDF, 466 KB

english, 2016

32

[IEEE 2016 14th International Conference on Control, Automation, Robotics and Vision (ICARCV) - Phuket, Thailand (2016.11.13-2016.11.15)] 2016 14th International Conference on Control, Automation, Robotics and Vision (ICARCV) - Multi-objective optimization for path searching in a flow network with maintenance tasks

Kadri, Hela, Collart-Dutilleul, Simon

Year:

2016

Language:

english

File:

PDF, 326 KB

english, 2016

33

A CPN/B method transformation framework for railway safety rules formal validation

Boudi, Zakaryae, Ben-Ayed, Rahma, El Koursi, El Miloudi, Collart-Dutilleul, Simon, Nolasco, Thomas, Haloua, Mohamed

Journal:

European Transport Research Review

Year:

2017

Language:

english

File:

PDF, 1.96 MB

english, 2017

34

Model predictive control of an electroplating line without stopping the production

Becha, Tassadit, Hamri, Hakima, Kara, Redouane, Collart-Dutilleul, Simon

Journal:

The International Journal of Advanced Manufacturing Technology

Year:

2017

Language:

english

File:

PDF, 1.23 MB

english, 2017

35

Formal Approach to Control Design of Complex and Dynamical Systems

Kadri, Hela, Ahmed, Samir Ben, Collart-Dutilleul, Simon

Journal:

Procedia Computer Science

Year:

2017

Language:

english

File:

PDF, 389 KB

english, 2017

36

Using P-Time Petri Nets for Robust Control of Manufacturing Systems

Aygalinc, Pascal, Calvez, Soizick, Khansa, Wael, Collart-Dutilleul, Simon

Journal:

IFAC Proceedings Volumes

Year:

1997

Language:

english

File:

PDF, 1.50 MB

english, 1997

37

Control robustness and electroplating line with multi-manufacturing process

Collart, Dutilleul Simon, Denat, Jean-Paul

Journal:

IFAC Proceedings Volumes

Year:

1999

Language:

english

File:

PDF, 3.02 MB

english, 1999

38

Periodic Patterned Control and Periodic Output Flows

Collart Dutilleul, Simon, Denat, Jean-Paul

Journal:

IFAC Proceedings Volumes

Year:

2001

Language:

english

File:

PDF, 639 KB

english, 2001

39

P-Time Petri Nets and Robust Control of Electroplating Lines Using Several Hoists

Collart Dutilleul, Simon, Denat, Jean-Paul

Journal:

IFAC Proceedings Volumes

Year:

1997

Language:

english

File:

PDF, 1.43 MB

english, 1997

40

A Static Robust Control with a Periodic Output Objective

Jean-Paul, Denat, Simon, Collart Dutilleul, Stéphane, Marteau

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.26 MB

english, 2000

41

Performance and tolerance evaluation with respect to forbidden state

Dutilleul Simon, Collart, Etienne, Craye

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 594 KB

english, 2003

42

Cyclic Scheduling Steady-State Analysis and Improved Mathematical Models

ZHANG, Hongchang, COLLART-DUTILLEUL, Simon, MESGHOUNI, Khaled

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 714 KB

english, 2014

43

ROBUSTNESS OF THE LINEAR WORKSHOP TO THE CHANGE OF RATIO

KAROUI, Mohamed Fathi, DUTILLEUL, Simon Collart, CRAYE, Etienne

Journal:

IFAC Proceedings Volumes

Year:

2005

Language:

english

File:

PDF, 440 KB

english, 2005

44

ROBUST DYNAMIC CONTROL OF MULTI-PRODUCT JOB-SHOPS

Collart-Dutilleul, Simon, Jerbi, Nabil, Craye, Etienne, Benrejeb, Mohammed

Journal:

IFAC Proceedings Volumes

Year:

2007

Language:

english

File:

PDF, 322 KB

english, 2007

45

Simulation and Optimisation of Lift Networks in a Provincial Skiing Resort

Chetouane, Fatah, Bernier, Remy, Collart-Dutilleul, Simon

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 1.29 MB

english, 2010

46

An Automated Method for the Study of Human Reliability in Railway Supervision Systems

Ferlin, Antoine, Qiu, Siqi, Bon, Philippe, Sallak, Mohamed, Dutilleul, Simon Collart, Schon, Walter, Cherfi-Boulanger, Zohra

Journal:

IEEE Transactions on Intelligent Transportation Systems

Year:

2018

Language:

english

File:

PDF, 4.64 MB

english, 2018

47

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) ||

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 19.89 MB

english, 2019

48

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Survey on Formal Methods and Tools in Railways: The ASTRail Approach

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 2.44 MB

english, 2019

49

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Merging Worlds – Aligning Safety and Security

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 916 KB

english, 2019

50

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Safe and Time-Optimal Control for Railway Games

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 941 KB

english, 2019